Automata-based programming - PDFSEARCH.IO - Document Search Engine

Automata-based programming
Results: 14

#	Item
1	Landscape Automata for Search Based Procedural Content Generation. Daniel Ashlock and Cameron McGuinness Abstract—This study introduces a new representation landscape automata for encoding heightmaps that may be used f Add to Reading List Source URL: eldar.mathstat.uoguelph.ca Language: English - Date: 2016-07-12 12:05:04 Cybernetics Mathematical optimization Genetic algorithms Heightmap Procedural generation Scenery generator Evolutionary algorithm Cellular automaton Fitness landscape Fitness function Genetic programming Finite-state machine
2	Automata and Logics for Concurrent Systems: Realizability and Verification Habilitation Thesis Mémoire d’Habilitation à Diriger des Recherches submitted by Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-07-17 03:24:58 Computer science Finite-state machine Model checking Formal verification Nested word Formal methods Automata-based programming Automata theory Theoretical computer science Applied mathematics
3	Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-06-11 13:49:54 Abstraction Applied mathematics Computer science Programming paradigms Data management Abstract interpretation Deterministic finite automaton Formal verification Abstract object Automata theory Theoretical computer science Models of computation
4	RIP: Run-based Intra-query Parallelism for Scalable Complex Event Processing Cagri Balkesen, Nihal Dindar, Matthias Wetter, Nesime Tatbul ETH Zurich, Switzerland {cagri.balkesen, dindarn, wetterma, tatbul}@inf.ethz.ch Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-05-21 16:31:01 Automata theory Computer programming Finite-state machine Parallel computing Complex event processing Pattern matching Stream processing SQL Regular expression Computing Software engineering Models of computation
5	On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡ Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2010-09-22 05:54:39 Programming language theory Fault-tolerant computer systems Models of computation ALGOL 68 Consensus I/O Automaton Finite-state machine Computing Software engineering Automata theory
6	Soros language specification1 DRAFT, [removed]László Németh ([removed]) 1 Introduction The Soros programming language is a regex based language for conversion between self-similar Add to Reading List Source URL: www.numbertext.org Language: English - Date: 2010-04-19 08:50:28 Source code Regular expressions Formal languages Automata theory Pattern matching Subroutine Computer programming Software engineering Computing
7	Towards a Belief-Based Theory of Repeated Games with Private Monitoring: An Application of POMDP∗ KANDORI, Michihiro Faculty of Economics University of Tokyo Add to Reading List Source URL: federation.ens.fr Language: English - Date: 2012-09-26 07:59:55 Markov processes Stochastic control Control theory Game theory Partially observable Markov decision process Finite-state machine Markov decision process Repeated game Statistics Automata theory Dynamic programming
8	A Cellular Automata Approach for Discrete-Time Distributed Parameter Systems Samira EL YACOUBI Department of Mathematics and Computer Science MEPS laboratory, University of Perpignan. France Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2007-09-07 10:44:24 Cellular automata Cellular automaton Systems Systems theory Cybernetics Distributed parameter system Controllability Automata-based programming Control theory Science Automata theory
9	Soros language specification1 DRAFT, [removed]László Németh ([removed]) 1 Introduction The Soros programming language is a regex based language for conversion between self-similar Add to Reading List Source URL: numbertext.org Language: English - Date: 2010-04-19 08:50:28 Source code Regular expressions Formal languages Automata theory Pattern matching Subroutine Computer programming Software engineering Computing
10	The Tempo Language User Guide and Reference Manual Nancy A. Lynch, Stephen J. Garland, Dilsun Kaynar, Laurent Michel, Alex Shvartsman Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Tec Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:10:46 Theoretical computer science Cellular automata Formal methods Computer science Model checkers Automata-based programming Automata theory Model checking Finite-state machine

UPDATE